English linear deduction: translation to other languages